@page-hor-margin:16px;
@vote-man-red:#FF5E82;
@nav-font-size:26px;
@nav-min-height:76px;

@window-radius:10px;


.radius-vertical-center(@height){
  @border-radius: @height / 2;

  height: @height;
  line-height: @height;
  border-radius: @border-radius;

  vertical-align: center;
}